Formal verification of secure information flow in cloud computing
نویسندگان
چکیده
منابع مشابه
Formal verification of secure information flow in cloud computing
Federated cloud systems increase the reliability and reduce the cost of computational support to an organisation. However, the resulting combination of secure private clouds and less secure public clouds impacts on the overall security of the system as applications need to be located within different clouds. In this paper, the entities of a federated cloud system as well as the clouds are assig...
متن کاملCloud Computing as a Tool to Secure and Manage Information Flow in Swedish Armed Forces Networks
.........................................................................................i ACKNOWLEDGEMENTS ......................................................................ii LIST OF FIGURES................................................................................vi LIST OF TABLES.................................................................................vi LIST OF ABBREVIATION...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملDesign and Verification of Information Flow Secure Systems
Design and Verification of Information Flow Secure Systems
متن کاملSecure virtualization for cloud computing
Cloud computing adoption and diffusion are threatened by unresolved security issues that affect both the cloud provider and the cloud user. In this paper, we show how virtualization can increase the security of cloud computing, by protecting both the integrity of guest virtual machines and the cloud infrastructure components. In particular, we propose a novel architecture, Advanced Cloud Protec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Information Security and Applications
سال: 2016
ISSN: 2214-2126
DOI: 10.1016/j.jisa.2016.03.002